681. Finite element analysis /
پدیدآورنده : M. Moatamedi and H. Khawaja.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Finite element method.,Finite element method.,MATHEMATICS-- Numerical Analysis.
رده :
TA347
.
F5
682. Finite model theory and its applications
پدیدآورنده : Erich Gradel ... [et al.]&
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Finite model theory,Computational complexity,Constraint databases
رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
683. Finite model theory and its applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ; Computational complexity. ; Constraint databases. ;
684. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
685. Forbidden configurations in discrete geometry /
پدیدآورنده : David Eppstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Discrete geometry.,Discrete geometry.,MATHEMATICS-- Geometry-- General.
رده :
QA640
.
7
.
E67
2018
686. Forcing with random variables and proof complexity
پدیدآورنده : Krajicek, Jan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Random variables,، Mathematical analysis
رده :
QA
267
.
7
.
K72F6
687. Formal models, languages and applications /
پدیدآورنده : editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.
رده :
QA267
.
3
.
F698
2006eb
688. Formal models, languages and applications
پدیدآورنده : editors, K.G. Subramanian, K. Rangarajan, M. Mukund
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Formal languages,، Computational complexity,، Compilers )Computer programs(
رده :
QA
267
.
3
.
F6
689. Formal models, languages and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages. ; Computational complexity. ; Compilers (Computer programs) ;
690. Formal models, languages and applications
پدیدآورنده : editors, K.G. Subramanian, K. Rangarajan, M. Mukund
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Formal languages,، Computational complexity,، Compilers )Computer programs(
رده :
QA
267
.
3
.
F698
2006
691. Foundations of algorithms: using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1997
692. Foundations of computation theory
پدیدآورنده : Adachi, Akeo
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Computational complexity
رده :
QA
267
.
A32
1990b
693. Foundations of Computational Linguistics :
پدیدآورنده : by Roland Hausser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Information storage and retrieval systems.
رده :
P98
.
B976
2001
694. Foundations of Information and Knowledge Systems
پدیدآورنده : edited by Jürgen Dix, Stephen J. Hegner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Computer science.,Database management.,Information storage and retrieval systems.,Logic design.
695. Foundations of Information and Knowledge Systems.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.
696. Foundations of algorithms
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
697. Foundations of algorithms
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1996
698. Foundations of algorithms
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Algorithms , Constructive mathematics , Computational complexity
رده :
QA
9
.
58
.
N43
1997
699. Foundations of algorithms : using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1997
700. Foundations of algorithms using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1998